System $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$M$:Id$\rightarrow$MsgA$\mid$ $\forall$${\it loc}$:Id. Feasible($M$(${\it loc}$))\}